The welcome and the
registration will
take place at the foyer of the " Provatari " building on Wednesday 30 May.
The conference
will take place at the Conference Hall "Sofouli" in the same
building. Please see the Google
maps.
Conference Program
WEDNESDAY, MAY 30
| 09.00-09.15 | Opening |
| 09.15-10.00 | D. Richard, In memoriam of Alan R. Woods |
| 10.00-11.00 | J.-P. Ressayre,
Classifying the
experiences of quantum mechanics (based on work of Christophe
Chalons) |
| 11.00-11.30 | Coffee break |
| 11.30-13.00 | A. Visser, Interpretability between (sequential) theories, part I |
| 13.00-15.00 | Lunch break |
| 15.00-16.00 | Z. Adamowicz, A few questions concerning consistency and conservativeness |
| 16.00-17.00 | F. Ferreira, Interpretability in Q |
| 17:00-17:30 | Coffee break |
| 17.30-18.00 | A. Sirokofskich, Hilbert's tenth problem for subrings of Laurent polynomials |
| 18.00-18.30 | A. Cordon-Franco, A new conservation result for parameter free induction (joint work with F. Lara-Martin) |
| 18.30-19.00 | C. Dimitracopoulos, End extensions and the Arithmetized Completeness Theorem (joint work with V. Paschalis) |
THURSDAY, MAY 31
| 09.00-10.00 | Coach trip to Pythagoreion |
| 10.00-12.00 | Visit to the Museum and City of Pythagoreion |
| 12.00-13.00 | Coach trip back to Karlovassi |
| 13.00-15.00 | Lunch
break |
| 15.00-16.00 | P. D’Aquino, Integer parts of real closed fields |
| 16.00-16.30 | A. Esbelin, $z=\bigsum_{i=0}^{i=y}
[ai/b]$ is $\Delta_0$-definable |
| 16.30-17.00 | R. Kossak, Elementary pairs of models of PA |
| 17.00-17.30 | Coffee break |
| 17.30-18.00 | D. Kapantais, On the notion of “... Proving its own Consistency” |
| 18.00-18.30 | P. Valarcher, Functionals using Bounded Information and the Dynamics of Algorithms |
| 20.40-23.00 | Conference dinner |
FRIDAY, JUNE 1
| 09.00-10.30 |
A. Visser,
Interpretability between (sequential)
theories, part II |
| 10.30-11.30 | Th. Pheidas, Definability in fields of rational functions: a survey |
| 11.30-11.45 | Closing |